[TOOLS] Fix PAE save/restore/migrate: we must flush
authorkfraser@dhcp93.uk.xensource.com <kfraser@dhcp93.uk.xensource.com>
Tue, 13 Jun 2006 16:30:30 +0000 (17:30 +0100)
committerkfraser@dhcp93.uk.xensource.com <kfraser@dhcp93.uk.xensource.com>
Tue, 13 Jun 2006 16:30:30 +0000 (17:30 +0100)
commit00dc8b3bf1c13ed371db56e770d9db8a9e333b54
tree65579cd80efc22caf45b1fc69c3a04a0d3e20d04
parent0708c1f9a07ef5f6c884202bc3f07a63ce1862ed
[TOOLS] Fix PAE save/restore/migrate: we must flush
all pending 'mmu updates' before moving page directories
below 4GB.
Signed-off-by: Keir Fraser <keir@xensource.com>
tools/libxc/xc_linux_restore.c